Type-Checked Linting